Overview of discrete event systems opacity: Models, validation, and quantification
نویسندگان
چکیده
منابع مشابه
Overview of discrete event systems opacity: Models, validation, and quantification
Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven bysafety and privacy concerns in network communications and online services, much theoretical work has been conductedin order to design opaque systems. A system is opaque if an external observer in unable to infer a ”secret” about thesystem behavior. This paper aims to r...
متن کاملOpacity of Discrete Event Systems: models, validation and quantification
Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a ”secret” about the system behavior. This paper aims to review the...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملOpacity of discrete event systems and its applications
In this paper, we investigate opacity of discrete event systems. We define two types of opacities: strong opacity and weak opacity. Given a general observation mapping, a language is strongly opaque if all strings in the language are confused with some strings in another language and it is weakly opaque if some strings in the language are confused with some strings in another language. We show ...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annual Reviews in Control
سال: 2016
ISSN: 1367-5788
DOI: 10.1016/j.arcontrol.2016.04.015